(set-logic HO_ALL)
(set-info :status sat)
(set-option :fmf-bound true)
(set-option :uf-lazy-ll true)
(set-option :strings-exp true)
(set-option :simplification none)
(declare-const A (Bag (Tuple Int)))
(declare-const B (Bag (Tuple Int)))
(declare-const f (-> (Tuple Int) (Tuple Int)))
(assert (= f (lambda ((t (Tuple Int))) (tuple (* 3 (+ 2 ((_ tuple.select 0) t)))))))
(assert (distinct A (as bag.empty (Bag (Tuple Int)))))
(assert (bag.subbag (bag.map f A) B))
(check-sat)
